A Multi-View Co-Modeling and Co-Simulation Framework for Heterogeneous Embedded Systems
نویسندگان
چکیده
The design of embedded platforms for connected objects (smartphones and beyond) is made harder because such systems must satisfy stringent constraint beyond functional correctness and accuracy. Namely, extra-functional requirements such as performance, power consumption and thermal dissipation are equally important, while there are important trade-offs between them. In the recent years so-called virtual platformbased design has been proposed, so that rather abstract models of functional and extra-functional views could be applied, together with application models seen as task graphs with performance and memory requirements, to simulate global system dynamics before hardware was actually built. While a truly based Model Driven Engineering approach, tools and methods from this methodological area were seldom used in the process, which mainly consist of SystemC multiform simulation in practice. But, increasingly, dedicated domain-specific simulation tools, appear in the landscape, and the way to combine them properly for co-simulation becomes a true issue. It is our belief that joint multi-view modeling is key as the co-modeling approach to occur prior to co-simulation. This is all the more true as the various views/aspects here meant to be co-simulated are not distinct components of a system, as one generally assume, but distinct facets of a same component. For instance in our case a SystemC simulator may be found to extract abstract execution traces (or uns) from a generator program, traces which will be further annotated and decorated in the other distinct extra functional view ranges (performance, power, temperature), whose results may in turn impact the forthcoming rest of the trace. We provide a multiview modeling framework, and then show as an example how to connect it with a real (co)-simulation tool such as Synopsys Platform Architect MCO. Keywords—Multi-view modeling, MDE, Synopsys Platform Architect MCO, IEEE-42010, Co-simulation ∗Univ. Nice-Sophia Antipolis, CNRS, UMR7271, I3S F-06900 Sophia Antipolis †INRIA, F-06902 Sophia Antipolis
منابع مشابه
Heterogeneous systems co-simulation: a model-driven approach based on SysML State Machines and Simulink
The increasing complexity of real-time systems makes their simulation and validation a demanding task. For most systems, the simulation has to take into account both continuous time and discrete events, and the challenge is to create a co-simulation environment that allows synchronization and interaction between the two worlds. This paper proposes a model-based code-in-the-loop co-simulation fr...
متن کاملA Study of Gas Flow in a Slurry Bubble Column Reactor for the DME Direct Synthesis: Mathematical Modeling from Homogeneity vs. Heterogeneity Point of View
In the present study, a heterogeneous and homogeneous gas flow dispersion model for simulation and optimization of a large-scale catalytic slurry reactor for the direct synthesis of dimethyl ether (DME) from synthesis gas (syngas) and CO2, using a churn-turbulent regime was developed. In the heterogeneous flow model, the gas phase was distributed into two bubble phases including small and large...
متن کاملObject-Oriented Modeling and Co-Simulation of Embedded Systems
This paper presents the modeling and co-simulation capabilities of S 3 E 2 S, a design environment for electronic systems that can be built as a combination of analog and digital parts and software. S 3 E 2 S is based on a distributed, object-oriented system model, where abstract objects are initially used to express complex behavior and may be later refined into digital or analog hardware and ...
متن کاملCo-simulation redondante d'échelles de modélisation hétérogènes pour une approche phénoménologique. (Co-simulation of redundant and heterogeneous modelling scales for a phenomenological approach)
Complex systems were first modelled by means of differential equations. Next, multi-agent methods tried to focus on the elements therein but were limited, amongst other things, by computation capabilities. Nowadays, more and more works suggest to come back to the original point of view and to adopt a phenomenological approach to study interactions which form their dynamics, while keeping multi-...
متن کاملHardware Design and Simulation for Verification
z This paper is intended to provide a general view on simulation-based modeling and verification strategies for developing embedded systems. z In particular, it describes state-of-the art co-simulation approaches and verification strategies based on fault simulation and assertion checking.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017